منابع مشابه
Punctual Coalescing
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented a polynomial-time approach, while Scholz and Eckstein (2002) presented an optimal, exponential-time approach together with a near-optimal, quadratic-time heuristic. Both methods scale poorly after aggressive live ran...
متن کاملPunctual versus continuous auction coordination for multi-robot and multi-task topological navigation
This paper addresses the interest of using Punctual versus Continuous coordination for mobile multirobot systems where robots use auction sales to allocate tasks between them and to compute their policies in a distributed way. In Continuous coordination, one task at a time is assigned and performed per robot. In Punctual coordination, all the tasks are distributed in Rendezvous phases during th...
متن کاملRemarks on Punctual Local Connectedness
We study the condition, on a connected and locally connected geometric morphism p : E → S, that the canonical natural transformation p∗ → p! should be (pointwise) epimorphic — a condition which F.W. Lawvere [11] called the ‘Nullstellensatz’, but which we prefer to call ‘punctual local connectedness’. We show that this condition implies that p! preserves finite products, and that, for bounded mo...
متن کاملCODISTRIBUTIONS WITH SINGULARITIES: Punctual and Local Study
In this paper we construct a theory of codistributions with singularities that is the dual of the theory of distributions with singularities. We present the Freeman's construction, our punctual results and a new proof of a Freeman's theorem about integrability and normal form of nitelygenerated module of germs of smooth 1-forms.
متن کاملOn Punctual Quot Schemes for Algebraic Surfaces
Let S be a smooth projective surface over the field of complex numbers C. Fix a closed point s ∈ S and a pair of positive integers r, d. By results of Grothendieck (cf. [6], [11]) there exists a projective scheme Quot [s] (r, d) parametrizing all quotient sheaves O ⊕r S → A of length d supported at s. We consider this scheme with its reduced scheme structure and call it the punctual Quot scheme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Plant Signaling & Behavior
سال: 2009
ISSN: 1559-2324
DOI: 10.4161/psb.4.2.7517